La Definizione Funzionale (Definizione 2.1.1)
Una variabile casuale $X$ è una funzione $X: S \to R^1$ che assegna un numero reale $X(s)$ a ogni possibile risultato $s$ nello spazio campionario $S$. Si veda Figura 2.1.1 per la rappresentazione visiva di questo processo.
Per collegare la teoria degli insiemi con l'aritmetica, definiamo la funzione indicatrice di un evento $A$:
$$I_A(s) = \begin{cases} 1 & s \in A \\ 0 & s \notin A \end{cases}$$
Questo trasforma l'occorrenza di un evento in un segnale numerico binario.
Definire le Distribuzioni (Definizione 2.2.1)
La "distribuzione" di $X$ è l'insieme delle probabilità $P(X \in B)$ per sottoinsiemi $B \subseteq R^1$. Strettamente parlando, si richiede che $B$ sia un sottoinsieme di Borel, che è una restrizione tecnica derivante dalla teoria della misura. Tuttavia, qualsiasi sottoinsieme che possiamo definire praticamente è un sottoinsieme di Borel.
Limiti e Continuità della Probabilità
Per garantire che le nostre funzioni si comportino in modo prevedibile nei contesti infiniti, ci affidiamo agli assiomi stabiliti nei Teoremi 1.3.4 e 1.6.1:
- Additività Numerabile (1.7.1): $P(A_1 \cup A_2 \cup \cdots) = \sum P(B_n)$, dove $B_n$ sono versioni disgiunte di $A_n$.
- Continuità della Probabilità (1.7.2): Se una sequenza di eventi $\{A_n\} \nearrow A$, allora $\lim_{n \to \infty} P(A_n) = P(A)$.
Vogliamo dimostrare che per qualsiasi sequenza di eventi $A_1, A_2, \dots$ (non necessariamente disgiunti):
$$P(A_1 \cup A_2 \cup \cdots) \leq P(A_1) + P(A_2) + \cdots$$
Questa è nota come Disuguaglianza di Boole ed è fondamentale per limitare le probabilità in sistemi complessi.